| Ident. | Authors (with country if any) | Title |
|---|
| 000088 |
Serena Ivaldi [France] ; Jan Babi [Slovénie] ; Michael Mistry [Royaume-Uni] ; Robin Murphy [États-Unis] | Special Issue on Whole-body control of contacts and dynamics for humanoid robots |
| 000134 |
Philippe Gabriel Steg [France] ; Patrick W. Serruys [Royaume-Uni] ; Mohammad Abdelghani [Pays-Bas] ; William Wijns [Belgique] | The year in cardiology 2015: coronary intervention. |
| 000137 |
Gérard Helft [France] ; Philippe Gabriel Steg [Royaume-Uni] ; Claude Le Feuvre [France] ; Jean-Louis Georges [France] ; Didier Carrie [France] ; Xavier Dreyfus [France] ; Alain Furber [France] ; Florence Leclercq [France] ; Hélène Eltchaninoff [France] ; Jean-François Falquier [France] ; Patrick Henry [France] ; Simon Cattan [France] ; Laurent Sebagh [France] ; Pierre-Louis Michel [France] ; Albert Tuambilangana [France] ; Nadjib Hammoudi [France] ; Franck Boccara [France] ; Guillaume Cayla [France] ; Hervé Douard [France] ; Abdourahmane Diallo [France] ; Emmanuel Berman [France] ; Michel Komajda [France] ; Jean-Philippe Metzger [France] ; Eric Vicaut [France] | Stopping or continuing clopidogrel 12 months after drug-eluting stent placement: the OPTIDUAL randomized trial. |
| 000148 |
Vincent M. Brandenburg [Allemagne] ; Pieter Evenepoel [Belgique] ; Jürgen Floege [Allemagne] ; David Goldsmith [Royaume-Uni] ; Rafael Kramann [Allemagne] ; Ziad Massy [France] ; Sandro Mazzaferro [Italie] ; Leon J. Schurgers [Pays-Bas] ; Smeeta Sinha [Royaume-Uni] ; Vicens Torregrosa [Espagne] ; Pablo Ure A-Torres [France] ; Marc Vervloet [Pays-Bas] ; Mario Cozzolino [Italie] | Lack of evidence does not justify neglect: how can we address unmet medical needs in calciphylaxis? |
| 000745 |
Philippe Degrell [France] ; Emmanuel Sorbets [France] ; Laurent J. Feldman [France] ; Philippe Gabriel Steg [Royaume-Uni] ; Gregory Ducrocq [France] | Screening for coronary artery disease in asymptomatic individuals: Why and how? |
| 000E21 |
Jan Van Den Heuvel [Royaume-Uni] ; Daniel Král' [Royaume-Uni] ; Martin Kupec [République tchèque] ; Jean-Sébastien Sereni [République tchèque, France] ; Jan Volec [République tchèque, Royaume-Uni] | Extensions of Fractional Precolorings Show Discontinuous Behavior |
| 001102 |
Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Antoine Plet [France] | Lengths may break privacy -- or how to check for equivalences with length |
| 001278 |
Myrto Arapinis [Royaume-Uni] ; Véronique Cortier [France] ; Steve Kremer [France] ; Mark D. Ryan [Royaume-Uni] | Practical Everlasting Privacy |
| 001366 |
Thomas Nowotny [Royaume-Uni] ; Jean-Pierre Rospars [France] ; Dominique Martinez [France] ; Shereen Elbanna [France] ; Sylvia Anton [France] | Machine Learning for Automatic Prediction of the Quality of Electrophysiological Recordings |
| 001367 |
Pierre-Frédéric Villard [France] ; Franck P. Vidal [Royaume-Uni] ; Llyr Ap Cenydd [Royaume-Uni] ; Richard Holbrey [Royaume-Uni] ; S. Pisharody [Royaume-Uni] ; Sheena Johnson [Royaume-Uni] ; Andy Bulpitt [Royaume-Uni] ; Nigel W. John [Royaume-Uni] ; Fernando Bello [Royaume-Uni] ; Derek A. Gould [Royaume-Uni] | Interventional radiology virtual simulator for liver biopsy |
| 001376 |
Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | Deciding equivalence-based properties using constraint solving |
| 001378 |
Céline Chevalier [France] ; Stéphanie Delaune [France] ; Steve Kremer [France] ; Mark D. Ryan [Royaume-Uni] | Composition of Password-based Protocols |
| 001414 |
Nancy J. Aburto [Suisse] ; Sara Hanson [Suisse] ; Hialy Gutierrez [États-Unis] ; Lee Hooper [Royaume-Uni] ; Paul Elliott [Royaume-Uni] ; Francesco P. Cappuccio [Royaume-Uni] | Effect of increased potassium intake on cardiovascular risk factors and disease: systematic review and meta-analyses |
| 001530 |
Konstantin Korovin [Royaume-Uni] | Non-cyclic Sorts for First-Order Satisfiability |
| 001538 |
Lawrence C. Paulson [Royaume-Uni] | MetiTarski’s Menagerie of Cooperating Systems |
| 001561 |
Ali Afroozeh [Pays-Bas] ; Jean-Christophe Bach [France] ; Mark Van Den Brand [Pays-Bas] ; Adrian Johnstone [Royaume-Uni] ; Maarten Manders [Pays-Bas] ; Pierre-Etienne Moreau [France] ; Elizabeth Scott [Royaume-Uni] | Island Grammar-Based Parsing Using GLL and Tom |
| 001580 |
Konstantin Korovin [Royaume-Uni] | From Resolution and DPLL to Solving Arithmetic Constraints |
| 001606 |
Philippe Balbiani [France] ; Szabolcs Mikulás [Royaume-Uni] | Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders |
| 001661 |
Mohammad Khodadadi [Royaume-Uni] ; Renate A. Schmidt [Royaume-Uni] ; Dmitry Tishkovsky [Royaume-Uni] | A Refined Tableau Calculus with Controlled Blocking for the Description Logic $\mathcal{SHOI}$ |
| 001B08 |
Eva Banik [Royaume-Uni] ; Claire Gardent [France] ; Donia Scott [Royaume-Uni] ; Nikhil Dinesh [États-Unis] ; Fennie Linag [Royaume-Uni] | KBGen - Text Generation for Knowledge Bases as a New Shared Task |
| 001C76 |
Alexandre Grémiaux [France] ; Thomas Nowotny [Royaume-Uni] ; Dominique Martinez [France] ; Philippe Lucas [France] ; Jean-Pierre Rospars [France] | Modelling the signal delivered by a population of first-order neurons in a moth olfactory system |
| 001E09 |
Robert Chiesa ; Kimberly Gilmour ; Waseem Qasim ; Stuart Adams ; Austen J. J. Worth ; Hong Zhan ; Claudia A. Montiel-Equihua ; Sophie Derniame ; Catherine Cale ; Kanchan Rao ; Prashant Hiwarkar ; Rachel Hough ; Aurore Saudemont [Royaume-Uni] ; Cristián S. Fahrenkrog [Royaume-Uni, Chili] ; Nick Goulden [Royaume-Uni] ; Persis J. Amrolia ; Paul Veys | Omission of in vivo T‐cell depletion promotes rapid expansion of naïve CD4+ cord blood lymphocytes and restores adaptive immunity within 2 months after unrelated cord blood transplant |
| 001E31 |
Nancy H. Campbell [Royaume-Uni] ; Stephen Neidle [Royaume-Uni] | G-Quadruplexes and Metal Ions |
| 001E48 |
W. B. Langdon [Royaume-Uni] | Creating and Debugging Performance CUDA C |
| 002556 |
Andrei Zavada [Royaume-Uni] ; Christopher L. Buckley [Royaume-Uni] ; Dominique Martinez [France] ; Jean-Pierre Rospars [France] ; Thomas Nowotny [Royaume-Uni] | Competition-Based Model of Pheromone Component Ratio Detection in the Moth |
| 002609 |
Manfred Kerber [Royaume-Uni] ; Colin Rowat [Royaume-Uni] ; Wolfgang Windsteiger [Autriche] | Using Theorema in the Formalization of Theoretical Economics |
| 002625 |
Moussa Ouedraogo [Luxembourg (pays), Royaume-Uni] ; Reijo M. Savola [Finlande] ; Haralambos Mouratidis [Royaume-Uni] ; David Preston [Royaume-Uni] ; Djamel Khadraoui [Luxembourg (pays)] ; Eric Dubois [Luxembourg (pays)] | Taxonomy of quality metrics for assessing assurance of security correctness |
| 002680 |
Bénédicte Héron [France] ; Yann Mikaeloff [France] ; Roseline Froissart [France] ; Guillaume Caridade [France] ; Irène Maire [France] ; Catherine Caillaud [France] ; Thierry Levade [France] ; Brigitte Chabrol [France] ; François Feillet [France] ; Hélène Ogier [France] ; Vassili Valayannopoulos [France] ; Helen Michelakakis [Grèce] ; Dimitrios Zafeiriou [Grèce] ; Lucy Lavery [Royaume-Uni] ; Ed Wraith [Royaume-Uni] ; Olivier Danos [France] ; Jean-Michel Heard [France] ; Marc Tardieu [France] | Incidence and natural history of mucopolysaccharidosis type III in France and comparison with United Kingdom and Greece |
| 002792 |
Steffen Van Bakel [Royaume-Uni] ; Franco Barbanera [Italie] ; Ugo De Iguoro [Italie] | A Filter Model for the λμ -Calculus |
| 002F42 |
Christoph Benzmueller ; Lawrence C. Paulson [Royaume-Uni] | Multimodal and intuitionistic logics in simple type theory |
| 002F47 |
John Mckeane [Royaume-Uni] | French Interpretations of Heidegger: An Exceptional Reception |
| 003998 |
Rob J. Thomas ; David Anderson [Royaume-Uni] ; Amit Chandra ; Nigel M. Smith [Royaume-Uni] ; Lorraine E. Young [Royaume-Uni] ; David Williams ; Chris Denning [Royaume-Uni] | Automated, scalable culture of human embryonic stem cells in feeder‐free conditions |
| 003A30 |
Steffen Van Bakel [Royaume-Uni] ; Maria Grazia Vigliotti [Royaume-Uni] | A Logical Interpretation of the λ -Calculus into the π -Calculus, Preserving Spine Reduction and Types |
| 003B69 |
Mario Sabatelli [Italie] ; Fabrizio Eusebi [Italie] ; Ammar Al-Chalabi [Royaume-Uni] ; Amelia Conte [Italie] ; Francesca Madia [Italie] ; Marco Luigetti [Italie] ; Irene Mancuso [Italie] ; Cristina Limatola [Italie] ; Flavia Trettel [Italie] ; Fabrizia Sobrero [Italie] ; Silvia Di Angelantonio [Italie] ; Francesca Grassi [Italie] ; Amalia Di Castro [Italie] ; Claudia Moriconi [Italie] ; Sergio Fucile [Italie] ; Serena Lattante [Italie] ; Giuseppe Marangi [Italie] ; Marina Murdolo [Italie] ; Daniela Orteschi [Italie] ; Alessandra Del Grande [Italie] ; Pietro Tonali [Italie] ; Giovanni Neri [Italie] ; Marcella Zollino [Italie] | Rare missense variants of neuronal nicotinic acetylcholine receptor altering receptor function are associated with sporadic amyotrophic lateral sclerosis |
| 004224 |
Ioanna Tzoulaki [Royaume-Uni] ; Marjo-Riitta Jarvelin [Royaume-Uni, Finlande] ; Anna-Liisa Hartikainen [Finlande] ; Maija Leinonen [Finlande] ; Anneli Pouta [Finlande] ; Mika Paldanius [Finlande] ; Aimo Ruokonen [Finlande] ; Dexter Canoy [Royaume-Uni] ; Ulla Sovio [Royaume-Uni] ; Pekka Saikku [Finlande] ; Paul Elliott [Royaume-Uni] | Size at birth, weight gain over the life course, and low-grade inflammation in young adulthood: northern Finland 1966 birth cohort study |
| 004362 |
P. Chapelle [France] ; R. M. Ward [Royaume-Uni] ; A. Jardy [France] ; V. Weber [France, Luxembourg (pays)] ; J. P. Bellot [France] ; M. Minvielle [France] | Lateral Boundary Conditions for Heat Transfer and Electrical Current Flow during Vacuum Arc Remelting of a Zirconium Alloy |
| 004A97 |
James M. Wilkins [Royaume-Uni] ; Lorraine Southam [Royaume-Uni] ; Andrew J. Price [Royaume-Uni] ; Zehra Mustafa [Royaume-Uni] ; Andrew Carr [Royaume-Uni] ; John Loughlin [Royaume-Uni] | Extreme context specificity in differential allelic expression |
| 004B98 |
Bernhard Beckert [Allemagne] ; Lawrence C. Paulson [Royaume-Uni] | Preface |
| 004C09 |
R. A. Snowdon [Royaume-Uni] ; B. C. Warboys [Royaume-Uni] ; R. M. Greenwood [Royaume-Uni] ; C. P. Holland [Royaume-Uni] ; P. J. Kawalek [Royaume-Uni] ; D. R. Shaw [Royaume-Uni] | On the architecture and form of flexible process support |
| 005045 |
Horatiu Cirstea [France] ; Germain Faure [France] ; Maribel Fernandez [Royaume-Uni] ; Ian Mackie [Royaume-Uni] ; François-Régis Sinot [France] | From functional programs to interaction nets via the Rewriting Calculus |
| 005380 |
Steve Barker [Royaume-Uni] ; Maribel Fernández [Royaume-Uni] | Term Rewriting for Access Control |
| 005413 |
Ian James [Royaume-Uni] | Phenomenology in Diaspora |
| 005434 |
C. Ardito [Italie] ; M. F. Costabile [Italie] ; A. De Angeli [Royaume-Uni] ; F. Pittarello [Italie] | Navigation help in 3D worlds: some empirical evidences on use of sound |
| 005461 |
Nikolay Mehandjiev [Royaume-Uni] ; Iain Duncan Stalker [Royaume-Uni] ; Kurt Fessl [Autriche] ; Georg Weichhart [Autriche] | Interoperability Contributions of CrossWork |
| 005543 |
E. Valveny [Espagne] ; P. Dosch [France] ; Adam Winstanley [Irlande (pays)] ; Yu Zhou [Irlande (pays)] ; Su Yang [République populaire de Chine] ; Luo Yan [République populaire de Chine, Hong Kong] ; Liu Wenyin [République populaire de Chine, Hong Kong] ; Dave Elliman [Royaume-Uni] ; Mathieu Delalandre [France] ; Eric Trupin [France] ; Sébastien Adam [France] ; Jean-Marc Ogier [France] | A general framework for the evaluation of symbol recognition methods |
| 005621 |
JIA MENG [États-Unis] ; Claire Quigley [États-Unis] ; Lawrence C. Paulson [États-Unis] | Automation for interactive proof : First prototype |
| 006469 |
Norbert Müller ; Martin Escardo [Royaume-Uni] ; Paul Zimmermann [France] | Special issue on practical development of exact real number computation |
| 006A53 |
Jean-Marc Dewaele [Royaume-Uni] | Lüdi, Georges et Py, Bernard, Etre bilingue. Bern: Peter Lang, 2002, pp. 3 906766 63 2 (2e édition revue) |
| 006A55 |
Leigh Oakes [Royaume-Uni] | Larrivée Pierre (ed.), Linguistic Conflict and Language Laws: Understanding the Quebec Question. Basingstoke and New York: Palgrave Macmillan, 2003, xi + 204 pp. 0 333 96899 9 |
| 006A59 |
Nigel Armstrong [Royaume-Uni] | Hansen, Anita Berit and Hansen, Maj-Brit Mosegaard (eds.), Structures linguistiques et interactionnelles dans le français parlé. Actes du Colloque international, Université de Copenhague du 22 au 23 juin 2001. (Etudes Romanes 54). Copenhagen: Museum Tusculanum Press, 2003, 200 pp. 87 7289 819 4 (pbk) |
| 006B18 |
Ullrich Hustadt [Royaume-Uni] ; Boris Konev [Royaume-Uni] ; Alexandre Riazanov [Royaume-Uni] ; Andrei Voronkov [Royaume-Uni] | TeMP : A Temporal Monodic Prover |
| 006B63 |
Mitsuhiro Kato [États-Unis, Japon] ; Soma Das [États-Unis] ; Kristin Petras [États-Unis] ; Kunio Kitamura [Japon] ; Ken-Ichirou Morohashi [Japon] ; Diane N. Abuelo [États-Unis] ; Mason Barr [États-Unis] ; Dominique Bonneau [France] ; Angela F. Brady [Royaume-Uni] ; Nancy J. Carpenter [États-Unis] ; Karen L. Cipero [États-Unis] ; Francesco Frisone [Italie] ; Takayuki Fukuda [Japon] ; Renzo Guerrini [Italie] ; Eri Iida [Japon] ; Masayuki Itoh [Japon] ; Amy Feldman Lewanda [États-Unis] ; Yukiko Nanba [Japon] ; Akira Oka [Japon] ; Virginia K. Proud [États-Unis] ; Pascale Saugier-Veber [France] ; Susan L. Schelley [États-Unis] ; Angelo Selicorni [Italie] ; Rachel Shaner [États-Unis] ; Margherita Silengo [Italie] ; Fiona Stewart [Royaume-Uni] ; Noriyuki Sugiyama [Japon] ; Jun Toyama [Japon] ; Annick Toutain [France] ; Ana Lía Vargas [Argentine] ; Masako Yanazawa [Japon] ; Elaine H. Zackai [États-Unis] ; William B. Dobyns [États-Unis] | Mutations of ARX are associated with striking pleiotropy and consistent genotype–phenotype correlation |
| 006C01 |
Jia Meng [Royaume-Uni] ; Lawrence C. Paulson [Royaume-Uni] | Experiments on Supporting Interactive Proof Using Resolution |
| 006C06 |
Alexandre Riazanov [Royaume-Uni] ; Andrei Voronkov [Royaume-Uni] | Efficient Checking of Term Ordering Constraints |
| 006C34 |
Simon Colton [Royaume-Uni] ; Andreas Meier [Allemagne] ; Volker Sorge [Royaume-Uni] ; Roy Mccasland [Royaume-Uni] | Automatic Generation of Classification Theorems for Finite Algebras |
| 007896 |
Jean-Marc Dewaele [Royaume-Uni] | Pöll, Bernard, Francophonies périphériques. Histoire, statut et profil des principales variétés du français hors de France. Paris: L'Harmattan, 2001, 231 pp. 2 7475 1175 8 |
| 007898 |
Penny Sewell [Royaume-Uni] | McBride, Nicole and Seago, Karen (eds.), Target culture – target language? London: AFLS/CILT, 2000, 276 pp. 1 902031 82 2 |
| 007966 |
1patrick Langdon [Royaume-Uni] ; Ray Adams [Royaume-Uni] ; P. John Clarkson [Royaume-Uni] | Universal Access to Assistive Technology through Client-Centred Cognitive Assessment |
| 007A03 |
Richard P. Brent [Royaume-Uni] ; Paul Zimmermann [France] | Random Number Generators with Period Divisible by a Mersenne Prime |
| 007A50 |
Hua Dong [Royaume-Uni] ; Simeon Keates [Royaume-Uni] ; P. John Clarkson [Royaume-Uni] ; Julia Cassim [Royaume-Uni] | Implementing Inclusive Design: The Discrepancy between Theory and Practice |
| 007A95 |
Andres Posada [France] ; Etienne Hugues [France] ; Nicolas Franck [France] ; Pascal Vianin [Suisse] ; James Kilner [France, Royaume-Uni] | Augmentation of induced visual gamma activity by increased task complexity |
| 007A97 |
Pietro Murano [Royaume-Uni] | Anthropomorphic vs. Non-anthropomorphic Software Interface Feedback for Online Systems Usage |
| 007A99 |
Panayiotis Zaphiris [Royaume-Uni] ; Sri Hastuti Kurniawan [Royaume-Uni] ; R. Darin Ellis [États-Unis] | Age Related Differences and the Depth vs. Breadth Tradeoff in Hierarchical Online Information Systems |
| 007B06 |
Sri Hastuti Kurniawan [Royaume-Uni] ; Alasdair King [Royaume-Uni] ; David Gareth Evans [Royaume-Uni] ; Paul Blenkhorn [Royaume-Uni] | A Usability Evaluation of a Joystick-Operated Full-Screen Magnifier |
| 008750 |
Didier Galmiche [France] ; Daniel Méry [France] ; David Pym [Royaume-Uni] | Resource Tableaux |
| 008830 |
Bernhard Reus [France, Royaume-Uni] | Class-Based versus Object-Based: A Denotational Comparison |
| 008863 |
John G. Stell [Royaume-Uni] | A Framework for Order-Sorted Algebra |
| 008864 |
Patricia M. Hill [Royaume-Uni] ; Fausto Spoto [Italie] | A Foundation of Escape Analysis* |
| 009184 |
Geoffrey Cantor [Royaume-Uni] | PAUL KNIGHTS (ed.), The Manuscripts of Michael Faraday (1791–1867) from the Collections of the Royal Institution – the Institution of Electrical Engineers – the Guildhall Library. Wakefield: Microform Academic Publishers, 2001. 23 microfilm reels. £1058.00 (complete), £46.00 (individual reels). FRANK A. J. L. JAMES, Guide to the Microfilm Edition of the Manuscripts of Michael Faraday (1791–1867) from the Collections of the Royal Institution – the Institution of Electrical Engineers – the Guildhall Library. Wakefield: Microform Academic Publishers, 2000. Pp. 94. ISBN 1-851170-31-6. £10.00 (paperback). |
| 009193 |
Jon Agar [Royaume-Uni] | JAMES GILLIES and ROBERT CAILLIAU, How the Web was Born. Oxford: Oxford University Press, 2000. Pp. xii+372. ISBN 0-19-286207-3. £8.99, $15.95 (paperback). |
| 009353 |
Lorraine Ludman [Royaume-Uni] ; Lewis Spitz [Royaume-Uni] ; Angie Wade [Royaume-Uni] | Educational attainments in early adolescence of infants who required major neonatal surgery |
| 009401 |
Chris Fox [Royaume-Uni] ; Shalom Lappin [Royaume-Uni] | A Framework for the Hyperintensional Semantics of Natural Language with Two Implementations |
| 009D04 |
Jean-Marc Dewaele [Royaume-Uni] | Wilmet, Marc, Le Participe passé autrement. Paris – Bruxelles: Département Duculot – De Boeck & Larcier, 1999, 122 pp. 2 8011 1256 9 |
| 009D18 |
Didier Galmiche [France] ; David J. Pym [Royaume-Uni] | Proof-search in type-theoretic languages: an introduction |
| 009D33 |
Jean-Marc Dewaele [Royaume-Uni] | Lapkin, Sharon (éd.), French Second Language Education in Canada: empirical studies. Toronto & Buffalo: University of Toronto Press, 1998, xxx + 350 pp. 0 8020 4333 X |
| 009D43 |
Malcolm Offord [Royaume-Uni] | Held, Gudrun, Verbale Höflichkeit: Studien zur linguistischen Theorienbildung und empirische Untersuchung zum Sprachverhalten französischer und italienischer Jugendlicher in Bitt- und Dankessituationen. (Tübinger Beiträge zur Linguistik, 406). Tübingen: Narr, 1995, 486 pp. 3 8233 5071 4. |
| 009E50 |
F. Oquendo [France] ; K. N. Papamichail [Royaume-Uni] ; I. Robertson [Royaume-Uni] | Overcoming inadequacies in process modelling: The need for decisioning Be a first-class citizen |
| 009E59 |
U. Hustadt [Royaume-Uni] ; C. Dixon [Royaume-Uni] ; R. A. Schmidt [Royaume-Uni] ; M. Fisher [Royaume-Uni] | Normal Forms and Proofs in Combined Modal and Temporal Logics |
| 009F41 |
Mark Greenwood [Royaume-Uni] ; Ian Robertson [Royaume-Uni] ; Brian Warboys [Royaume-Uni] | A support framework for dynamic organizations |
| 009F89 |
E. Ritter [Royaume-Uni] ; D. Pym [Royaume-Uni] ; L. Wallen [Royaume-Uni] | On the intuitionistic force of classical search |
| 00A916 |
Marc Buyse [Belgique] ; Stephen L. George [États-Unis] ; Stephen Evans [Royaume-Uni] ; Nancy L. Geller [États-Unis] ; Jonas Ranstam [Suède] ; Bruno Scherrer [France] ; Emmanuel Lesaffre [Belgique] ; Gordon Murray [Royaume-Uni] ; Lutz Edler [Allemagne] ; Jane Hutton [Royaume-Uni] ; Theodore Colton [États-Unis] ; Peter Lachenbruch [États-Unis] ; Babu L. Verma [Inde] | The role of biostatistics in the prevention, detection and treatment of fraud in clinical trials |
| 00AA34 |
B. C. Warboys [Royaume-Uni] ; D. Balasubramaniam [Royaume-Uni] ; R. M. Greenwood [Royaume-Uni] ; G. N. C. Kirby [Royaume-Uni] ; K. Mayes [Royaume-Uni] ; R. Morrison [Royaume-Uni] ; D. S. Munro [Australie] | Collaboration and Composition: Issues for a Second Generation Process Language |
| 00B311 |
Serge Garlatti [France] ; Mike Sharples [Royaume-Uni] | The use of a computerized brain atlas to support knowledge-based training in radiology |
| 00B358 |
Farid Ajili [Royaume-Uni, France] ; Hendrik C. R. Lock [Allemagne] | Integrating constraint propagation in complete solving of linear diophantine systems |
| 00C003 |
Bashar Nuseibeh [Royaume-Uni] | When agents clash |
| 00C011 |
David G. Wastell [Royaume-Uni] | The fetish of technique: methodology as a social defence |
| 00C026 |
Anthony Finkelstein [Royaume-Uni] | Requirements engineering research: Coordination and infrastructure |
| 00C042 |
P. Kawalek [Royaume-Uni] ; D. G. Wastell [Royaume-Uni] | Organisational design for software development: A cybernetic perspective |
| 00C616 |
D. C. Potts [Royaume-Uni] | REVIEWS |
| 00CC96 |
Monica Nesi [Royaume-Uni] ; Valeria De Paiva [Royaume-Uni] ; Eike Ritter [Royaume-Uni] | Rewriting properties of combinators for rudimentary linear logic |
| 00CD11 |
Jin Sa [Royaume-Uni] ; Brian C. Warboys [Royaume-Uni] | Modelling processes using a stepwise refinement technique |
| 00D228 |
Paola Inverardi [Italie] ; Monica Nesi [Royaume-Uni] | A strategy to deal with divergent rewrite systems |
| 00D625 |
Reidar Conradi [Norvège] ; Christer Fernström [France] ; Alfonso Fuggetta [Italie] ; Robert Snowdon [Royaume-Uni] | Towards a reference framework for process concepts |
| 00D627 |
Peter J. Kawalek [Royaume-Uni] | The process modelling cookbook orientation, description and experience |
| 00D654 |
R. R. Hall [Royaume-Uni] ; G. Tenenbaum [France] | On Behrend sequences |
| 00D665 |
Jin Sa [Royaume-Uni] ; Brian Warboys [Royaume-Uni] | Integrating a formal specification method with PML: A case study |
| 00D698 |
Robert Snowdon [Royaume-Uni] | An example of process change |
| 00DA09 |
P. A Dowd [Royaume-Uni] | A review of recent developments in geostatistics |
| 00DA71 |
Christiane Notarmarco [Royaume-Uni] ; Rod Mulvey [Royaume-Uni] | Formal aspects of computing: LATEX style guide for authors |
| 00DD79 |
William Jervis Jones [Royaume-Uni] | Book Reviews |
| 00DE51 |
Jeremy Dick [Royaume-Uni] ; John Kalmus [Royaume-Uni] ; Ursula Martin [Royaume-Uni] | Automating the Knuth Bendix ordering |
| 00E000 |
Kevind Forsyth [Royaume-Uni] ; Margaretm Fitzpatrick [Royaume-Uni] ; Annac Simpson [Royaume-Uni] ; T. Martin Barratt [Royaume-Uni] ; Rolandj Levinsky [Royaume-Uni] | NEUTROPHIL-MEDIATED ENDOTHELIAL INJURY IN HAEMOLYTIC URAEMIC SYNDROME |
| 00E037 |
Tobias Nipkow [Royaume-Uni] | Term rewriting and beyond — theorem proving in Isabelle |
| 00E353 |
William P. R. Mitchell [Royaume-Uni] | Inductive completion with retracts |
| 00E627 |
Paul Anderson [Royaume-Uni] ; Chris Hankin [Royaume-Uni] ; Paul Kelly [Royaume-Uni] ; Peter Osmon [Royaume-Uni] ; Malcolm Shute [Royaume-Uni] | Cobweb-2: Structured specification of a wafer-scale supercomputer |
| 00E825 |
I. Aleksander [Royaume-Uni] | Subject Bibliography |
| 00EC64 |
Rebecca Posner [Royaume-Uni] | REVIEWS |
| 00EC75 |
Wendy Ayres [Royaume-Uni] | A STUDY IN THE GENESIS OF VAUGELAS'S REMARQUES SUR LA LANGUE FRANÇOISE: THE ARSENAL MANUSCRIPT1 |
| 00EC97 |
Hartwig Meissner [Allemagne] ; Richard J. Fatemen [États-Unis] ; K. D. Graf [Allemagne] ; K. A. Keil [Allemagne] ; H. Lothe [Allemagne] ; Guy Noel [Belgique] ; Donald L. Alderman [États-Unis] ; Rul Guzenhaeuser [Allemagne] ; D. C. Johnson [Royaume-Uni] ; Claudette Vieules [France] ; Andrew R. Molnar [États-Unis] ; Andrea A. Disessa [États-Unis] ; Marilyn N. Suydam [États-Unis] ; Alexander Wynands [Allemagne] | Technology |
| 00ED61 |
S. H. Rigby [Royaume-Uni] ; John Edwards [Royaume-Uni] | V The Later Middle Ages (1200–1500) |
| 00ED83 |
R. Burkhardt [Allemagne] ; R. Bartl [Allemagne] ; B. Frisch [Israël] ; K. J Ger [Allemagne] ; G. Mahl [Allemagne] ; W. Hill [Allemagne] ; G. Kettner [Allemagne] ; F. Bonnel [France] ; J. Teissier [France] ; Y. Allieu [France] ; A. Cazelas [France] ; T. Farkas [Hongrie] ; I. Zimmermann [Hongrie] ; P. Siko [Hongrie] ; T. Viola [Hongrie] ; D. Robles Marin ; R. Broseta ; J. L. Berlanga ; M. Aranda ; M. Marti ; P. Andreu ; Gwo Jaw Wang [États-Unis] ; S. L. Hubbard [États-Unis] ; S. I. Regor [États-Unis] ; E. D. Miller [États-Unis] ; W. G. Stamp [États-Unis] ; G. J. Wang [États-Unis] ; G. J. Rawles [États-Unis] ; J. B. Paolaggi [France] ; J. M. Le Parc [France] ; M. Durigon [France] ; D. Barres [France] ; F. Paolaggi [France] ; F. Blotman [France] ; C. Colette [France] ; L. Monnier [France] ; P. Baldet [France] ; L. Simon [France] ; G. Bouteiller [France] ; J. Arlet [France] ; A. Blasco ; F. Vigoni ; A. Eleftérion ; A. Trias [Canada] ; L. Téot [Canada] ; L. Tétreault [Canada] ; J. Pooley [Royaume-Uni] ; D. N. Walder [Royaume-Uni] ; P. Griss [Allemagne] ; M. Mohr [Allemagne] ; Y. Ishida [Allemagne] ; A. Gaucher [France] ; A. Bertrand [France] ; P. Wiederkehr [France] ; C. Hocquard [France] ; P. Raul [France] ; J. Adolphe [France] ; D. Mess [États-Unis] ; D. Pavel [États-Unis] ; R. Barmada [États-Unis] ; F. Schuind [Belgique] ; A. Schoutens ; W. Verhas ; A. Verschaeren [Belgique] ; J. P. Steib [France] ; G. Lang [France] ; B. Moysses [France] ; K. Kleinklaus [France] ; M. Ram [Suisse] ; J. Theron [France] ; M. Collette [Belgique] ; P. Ficat [France] ; R. Durroux [France] ; E. Horvath [France] ; M. Boussaton [France] ; J. N. Senie [France] ; M. Brookes [Royaume-Uni] ; F. W. Heatley [Royaume-Uni] ; J. F. Connoily [États-Unis] ; D. Chakkalakal [États-Unis] ; M. Kelbel [États-Unis] ; U. Pfister [Allemagne] ; P. J. Gregg [Royaume-Uni] ; C. B. Clayton [Royaume-Uni] ; G. K. Ions [Royaume-Uni] ; S. R. Smith [Royaume-Uni] ; H. Schmelzeisen [Allemagne] ; S. M. Perren [Allemagne] ; B. Rahn [Allemagne] ; T. Albrektsson [Suède] ; T. Albrektsson [Suède] ; I. D. Mccarthy [Royaume-Uni] ; S. P. F. Hughes [Royaume-Uni, États-Unis] ; P. Tothill [Royaume-Uni] ; G. Hooper [Royaume-Uni] ; E. T Ndevold [Danemark] ; J. Bülow [Danemark] ; T. R. Light [États-Unis] ; M. R. Mckinstry ; J. Schnitzer ; J. Ogden [États-Unis] ; P. Vicente [Canada] ; M. A. Gunst [Suisse] ; B. A. Rahn [Suisse] ; U. Lüthy [Suisse] ; S. M. Perren [Suisse] ; I. Mccarthy [Royaume-Uni] ; R. Wootton [Royaume-Uni] ; C. Arnoldi [Danemark] ; C. Bünger [Danemark] ; L. Kery ; M. F. Driessens [Belgique, Suède] ; G. Mortier [Belgique, Suède] ; P. M. Vanhoutte [Belgique] ; M. A. Tran [France] ; Dang Tran Lac [France] ; M. Berlan [France] ; S. Solomon [Afrique du Sud] ; C. M. Schnitzler [Afrique du Sud] ; H. Seftel [Afrique du Sud] ; D. Mendelsohn [Afrique du Sud] ; H. Kundig [Afrique du Sud] ; J. P. Van Vuren [Afrique du Sud] ; R. K. Spence [États-Unis] ; A. Alavi [États-Unis] ; C. F. Barker [États-Unis] ; R. G. Grossman [États-Unis] ; B. Slaven [États-Unis] ; M. E. Steinberg [États-Unis] ; J. Lane [États-Unis] ; J. Benoit [France] ; H. Danon [France] ; A. Lortat-Jacob [France] ; J. Y. Dupont [France] ; M. Durigon [France] ; J. D. Spencer [Royaume-Uni] ; R. Cabannes [Côte d'Ivoire] ; F. Sombo [Côte d'Ivoire] ; E. T. Habermann [Canada] ; M. A. Hartzband [États-Unis] ; H. Zollinger [Suisse] ; St. Kubik [Suisse] ; A. Schreiber [Suisse] ; Ch. Fauchier [France] ; F. Jacqueline [France] ; W. Remagen [Suisse] ; J. M. Saint-André [France] ; T. Vizkelety [Hongrie] ; A. J. Malcolm [Royaume-Uni] ; E. Warda [Pologne] ; P. C. Dell [États-Unis] ; H. Burchardt [États-Unis] ; U. K. Luethi ; R. D. Stroud ; B. A. Rahn ; S. A. Brown ; G. Bauer [Suède] ; L. I. Hanson [Suède] ; J. Palmer [Suède] ; B. Stromqvist [Suède] ; G. D. Hayken [États-Unis] ; D. R. Steinberg [États-Unis] ; J. M. Baixe [France] ; C. T. Brighton [États-Unis] ; S. E. Tooze [États-Unis] ; C. A. L. Bassett [États-Unis] ; M. M. Schink [États-Unis] ; S. N. Mitchell [États-Unis] ; H. Judet [France] ; A. Gilbert [France] ; J. Jude [France] ; H. B. Skinner [États-Unis] ; A. R. Penix [États-Unis] ; S. D. Cook [États-Unis] ; R. J. Haddad Jr. [États-Unis] ; C. Nedjar [France] ; C. Ficat [France] ; P. P. G. Blockx [Belgique] ; C. H. Bauer [Suède] ; J. L. Décamps ; E. H. Bünger [Danemark] ; J. Bülow [Danemark] ; J. C. Djurhuus [Danemark] ; D. Chappard [France] ; J. L. Laurent [France] ; C. Alexandre [France] ; G. Riffat [France] ; S. B. Christensen [Danemark] ; I. Reimann [Danemark] ; O. Henriksen [Danemark] ; J. L. Berlabga ; Y. Andrianne [Belgique] ; F. Burny [Belgique] ; M. Donkerwolcke [Belgique] ; O. Saric [Belgique] ; Taberly [France] ; Pradere [France] ; Regis [France] ; Bru [France] ; Bouzet [France] ; Mazières [France] ; Arlet [France] | International Symposium on bone vascularization |
| 00EE29 |
J. A. Bergstra [Pays-Bas] ; M. Broy [Allemagne] ; J. V. Tucker [Royaume-Uni] ; M. Wirsing [Royaume-Uni] | On the power of algebraic specifications |
| 00EF59 |
John M. Cubitt [Royaume-Uni] ; Omer Celenk [Royaume-Uni] | Fortran program for producing stereograms in geology |
| 00EF79 |
J. P. Motte [Royaume-Uni] ; N. N. Greenwood [Royaume-Uni] | Etude par effet Mössbauer de la structure et des propriétés de diffusion de la phase antifluorine nonstoechiométrique: Li8SnP4 |
